Architecture and Behavior Modeling of Cyber-Physical Systems with MontiArcAutomaton

Source URL: www.se-rwth.de

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

Reordering Modeling using Weighted Alignment Matrices Wang Ling, Tiago Lu´ıs, Jo˜ao Grac¸a, Lu´ısa Coheur and Isabel Trancoso L2 F Spoken Systems Lab INESC-ID Lisboa {wang.ling,tiago.luis,joao.graca}@inesc-id.pt {l

Source URL: www.inesc-id.pt

3D ‘Printing’ Market: A market driven by Buzz? With headlines like the May 11, 2013 one “White House Looks to Invest $200 Million in 3D Printing” on Twitter, blogs, and other internet web-sites you know that the

Source URL: www.it-strategies.com

• Fused filament fabrication
• Business
• Economy
• Office equipment
• 3D printing
• 3D Systems
• Computer-aided design
• Inkjet printing
• Stratasys
• Printer
• 3D modeling
• Draft:Additive manufacturing

PNEUMATICS LIBRARY Modeling and simulation of pneumatic systems for system design, component sizing and control design.

Source URL: www.azapa.co.jp

DR IVET BAHAR Dynamic work Computational and systems biologist Dr Ivet Bahar explains her laboratory’s work towards understanding the dynamics of biomolecular and specifically neurosignalling systems

Source URL: www.ccbb.pitt.edu

• Bioinformatics
• Applied mathematics
• Biology
• Systems biology
• Systems science
• Multiscale modeling
• Computational biology
• Neuroscience
• Robert F. Murphy
• Neuroinformatics

A Systems Approach to Dimensional Modeling in Data Marts 1 of 8 file:///E|/FrontPage Webs/Content/EISWEB/SADDM.html

Source URL: www.dkms.com

GEO-REFERENCED MODELING OF ZINC IN THE RUHR RIVER BASIN EMISSIONS AND IMMISSION Nina Hüffmeyer*, Jörg Klasmeier and Michael Matthies Institute of Environmental Systems Research Institute of Environmental

Source URL: www.usf.uni-osnabrueck.de

The GEMOC Initiative On the Globalization of Modeling Languages The New Grand Challenge of the Globalization of Modeling Languages

Source URL: gemoc.org

• Unified Modeling Language
• Scientific modeling
• Integrated development environments
• Modeling language
• Domain-specific modeling
• Conceptual model
• Eclipse
• Systems engineering

OMG @ Hyatt Regency Cambridge Systems Assurance and Behavior Modeling : Requirements for OMG September 22nd, 2010

Source URL: sysa.omg.org